Algebraic Modeling in a Proof Context
نویسندگان
چکیده
In this paper, we propose a refinement of Chevallard’s algebraic modeling while still fully agreeing with his position that it is a key process in knowing mathematics. In doing so, based on our empirical study, we claim that: 1) there are two other stages in the algebraic modeling process; 2) it is nonlinear; and 3) partial models are constructed as well. Research on Chevallard's modeling perspective is relevant to the international mathematics education community, given his specific emphasis on algebra. Each one of the above claims will be illustrated through episodes from a classroom intervention with nine 9th/10th grade students who participated in a teaching experiment.
منابع مشابه
ALGEBRAIC INDEPENDENCE OF CERTAIN FORMAL POWER SERIES (I)
We give a proof of the generalisation of Mendes-France and Van der Poorten's recent result over an arbitrary field of positive characteristic and then by extending a result of Carlitz, we shall introduce a class of algebraically independent series.
متن کاملA SHORT PROOF OF A RESULT OF NAGEL
Let $(R,fm)$ be a Gorenstein local ring and$M,N$ be two finitely generated modules over $R$. Nagel proved that if $M$ and $N$ are inthe same even liaison class, thenone has $H^i_{fm}(M)cong H^i_{fm}(N)$ for all $iIn this paper, we provide a short proof to this result.
متن کاملSome Results on TVS-cone Normed Spaces and Algebraic Cone Metric Spaces
In this paper we introduce the cone bounded linear mapping and demonstrate a proof to show that the cone norm is continuous. Among other things, we prove the open mapping theorem and the closed graph theorem in TVS-cone normed spaces. We also show that under some restrictions on the cone, two cone norms are equivalent if and only if the topologies induced by them are the same. In the sequel, we...
متن کاملRefinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata
Automata theory has played an important role in computer science and engineering particularly modeling behavior of systems since last couple of decades. The algebraic automaton has emerged with several modern applications, for example, optimization of programs, design of model checkers, development of theorem provers because of having properties and structures from algebraic theory of mathemati...
متن کاملA NEW PROOF OF THE PERSISTENCE PROPERTY FOR IDEALS IN DEDEKIND RINGS AND PR¨UFER DOMAINS
In this paper, by using elementary tools of commutative algebra,we prove the persistence property for two especial classes of rings. In fact, thispaper has two main sections. In the first main section, we let R be a Dedekindring and I be a proper ideal of R. We prove that if I1, . . . , In are non-zeroproper ideals of R, then Ass1(Ik11 . . . Iknn ) = Ass1(Ik11 ) [ · · · [ Ass1(Iknn )for all k1,...
متن کامل